Nuprl Definition : abs-R
11,40
postcript
pdf
abs-R (
i
,
e
) == (
(
e
Out
)) & (
Out
(
e
).1) =
i
latex
clarification:
abs-R(
C
;
Out
)(
i
,
e
) == (
(
e
Out
)) & (
Out
(
e
).1) =
i
C
latex
Definitions
x
.
A
(
x
)
,
P
&
Q
,
b
,
e
X
,
s
=
t
,
t
.1
,
X
(
e
)
FDL editor aliases
abs-R
origin
(e 
Out)) & (Out(e).1) = i
(e Out)) & (Out(e).1) = i C (e Out)) & (Out(e).1) = i
(e Out)) & (Out(e).1) = i C 
x.A(x)b X